Optimal. Leaf size=202 \[ -\frac{\sqrt{a^2+2 a b x+b^2 x^2} (a-b x) \sqrt{c+d x^2+e x}}{x (a+b x)}+\frac{\sqrt{a^2+2 a b x+b^2 x^2} (2 a d+b e) \tanh ^{-1}\left (\frac{2 d x+e}{2 \sqrt{d} \sqrt{c+d x^2+e x}}\right )}{2 \sqrt{d} (a+b x)}-\frac{\sqrt{a^2+2 a b x+b^2 x^2} (a e+2 b c) \tanh ^{-1}\left (\frac{2 c+e x}{2 \sqrt{c} \sqrt{c+d x^2+e x}}\right )}{2 \sqrt{c} (a+b x)} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.194411, antiderivative size = 202, normalized size of antiderivative = 1., number of steps used = 7, number of rules used = 6, integrand size = 38, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.158, Rules used = {1000, 812, 843, 621, 206, 724} \[ -\frac{\sqrt{a^2+2 a b x+b^2 x^2} (a-b x) \sqrt{c+d x^2+e x}}{x (a+b x)}+\frac{\sqrt{a^2+2 a b x+b^2 x^2} (2 a d+b e) \tanh ^{-1}\left (\frac{2 d x+e}{2 \sqrt{d} \sqrt{c+d x^2+e x}}\right )}{2 \sqrt{d} (a+b x)}-\frac{\sqrt{a^2+2 a b x+b^2 x^2} (a e+2 b c) \tanh ^{-1}\left (\frac{2 c+e x}{2 \sqrt{c} \sqrt{c+d x^2+e x}}\right )}{2 \sqrt{c} (a+b x)} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 1000
Rule 812
Rule 843
Rule 621
Rule 206
Rule 724
Rubi steps
\begin{align*} \int \frac{\sqrt{a^2+2 a b x+b^2 x^2} \sqrt{c+e x+d x^2}}{x^2} \, dx &=\frac{\sqrt{a^2+2 a b x+b^2 x^2} \int \frac{\left (2 a b+2 b^2 x\right ) \sqrt{c+e x+d x^2}}{x^2} \, dx}{2 a b+2 b^2 x}\\ &=-\frac{(a-b x) \sqrt{a^2+2 a b x+b^2 x^2} \sqrt{c+e x+d x^2}}{x (a+b x)}-\frac{\sqrt{a^2+2 a b x+b^2 x^2} \int \frac{-2 b (2 b c+a e)-2 b (2 a d+b e) x}{x \sqrt{c+e x+d x^2}} \, dx}{2 \left (2 a b+2 b^2 x\right )}\\ &=-\frac{(a-b x) \sqrt{a^2+2 a b x+b^2 x^2} \sqrt{c+e x+d x^2}}{x (a+b x)}+\frac{\left (b (2 b c+a e) \sqrt{a^2+2 a b x+b^2 x^2}\right ) \int \frac{1}{x \sqrt{c+e x+d x^2}} \, dx}{2 a b+2 b^2 x}+\frac{\left (b (2 a d+b e) \sqrt{a^2+2 a b x+b^2 x^2}\right ) \int \frac{1}{\sqrt{c+e x+d x^2}} \, dx}{2 a b+2 b^2 x}\\ &=-\frac{(a-b x) \sqrt{a^2+2 a b x+b^2 x^2} \sqrt{c+e x+d x^2}}{x (a+b x)}-\frac{\left (2 b (2 b c+a e) \sqrt{a^2+2 a b x+b^2 x^2}\right ) \operatorname{Subst}\left (\int \frac{1}{4 c-x^2} \, dx,x,\frac{2 c+e x}{\sqrt{c+e x+d x^2}}\right )}{2 a b+2 b^2 x}+\frac{\left (2 b (2 a d+b e) \sqrt{a^2+2 a b x+b^2 x^2}\right ) \operatorname{Subst}\left (\int \frac{1}{4 d-x^2} \, dx,x,\frac{e+2 d x}{\sqrt{c+e x+d x^2}}\right )}{2 a b+2 b^2 x}\\ &=-\frac{(a-b x) \sqrt{a^2+2 a b x+b^2 x^2} \sqrt{c+e x+d x^2}}{x (a+b x)}+\frac{(2 a d+b e) \sqrt{a^2+2 a b x+b^2 x^2} \tanh ^{-1}\left (\frac{e+2 d x}{2 \sqrt{d} \sqrt{c+e x+d x^2}}\right )}{2 \sqrt{d} (a+b x)}-\frac{(2 b c+a e) \sqrt{a^2+2 a b x+b^2 x^2} \tanh ^{-1}\left (\frac{2 c+e x}{2 \sqrt{c} \sqrt{c+e x+d x^2}}\right )}{2 \sqrt{c} (a+b x)}\\ \end{align*}
Mathematica [A] time = 0.195053, size = 155, normalized size = 0.77 \[ \frac{\sqrt{(a+b x)^2} \left (\sqrt{c} x (2 a d+b e) \tanh ^{-1}\left (\frac{2 d x+e}{2 \sqrt{d} \sqrt{c+x (d x+e)}}\right )+\sqrt{d} \left (2 \sqrt{c} (b x-a) \sqrt{c+x (d x+e)}-x (a e+2 b c) \tanh ^{-1}\left (\frac{2 c+e x}{2 \sqrt{c} \sqrt{c+x (d x+e)}}\right )\right )\right )}{2 \sqrt{c} \sqrt{d} x (a+b x)} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] time = 0.216, size = 249, normalized size = 1.2 \begin{align*}{\frac{{\it csgn} \left ( bx+a \right ) }{2\,cx} \left ( 2\,{d}^{5/2}\sqrt{d{x}^{2}+ex+c}{x}^{2}a-2\,{d}^{3/2}{c}^{3/2}\ln \left ({\frac{2\,c+ex+2\,\sqrt{c}\sqrt{d{x}^{2}+ex+c}}{x}} \right ) xb-{d}^{{\frac{3}{2}}}\sqrt{c}\ln \left ({\frac{1}{x} \left ( 2\,c+ex+2\,\sqrt{c}\sqrt{d{x}^{2}+ex+c} \right ) } \right ) xae-2\,{d}^{3/2} \left ( d{x}^{2}+ex+c \right ) ^{3/2}a+2\,{d}^{3/2}\sqrt{d{x}^{2}+ex+c}xae+2\,{d}^{3/2}\sqrt{d{x}^{2}+ex+c}xbc+2\,\ln \left ( 1/2\,{\frac{2\,\sqrt{d{x}^{2}+ex+c}\sqrt{d}+2\,dx+e}{\sqrt{d}}} \right ) xac{d}^{2}+\ln \left ({\frac{1}{2} \left ( 2\,\sqrt{d{x}^{2}+ex+c}\sqrt{d}+2\,dx+e \right ){\frac{1}{\sqrt{d}}}} \right ) dxbce \right ){d}^{-{\frac{3}{2}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\sqrt{d x^{2} + e x + c} \sqrt{{\left (b x + a\right )}^{2}}}{x^{2}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 3.45487, size = 1562, normalized size = 7.73 \begin{align*} \left [\frac{{\left (2 \, a c d + b c e\right )} \sqrt{d} x \log \left (8 \, d^{2} x^{2} + 8 \, d e x + 4 \, \sqrt{d x^{2} + e x + c}{\left (2 \, d x + e\right )} \sqrt{d} + 4 \, c d + e^{2}\right ) +{\left (2 \, b c d + a d e\right )} \sqrt{c} x \log \left (\frac{8 \, c e x +{\left (4 \, c d + e^{2}\right )} x^{2} - 4 \, \sqrt{d x^{2} + e x + c}{\left (e x + 2 \, c\right )} \sqrt{c} + 8 \, c^{2}}{x^{2}}\right ) + 4 \,{\left (b c d x - a c d\right )} \sqrt{d x^{2} + e x + c}}{4 \, c d x}, -\frac{2 \,{\left (2 \, a c d + b c e\right )} \sqrt{-d} x \arctan \left (\frac{\sqrt{d x^{2} + e x + c}{\left (2 \, d x + e\right )} \sqrt{-d}}{2 \,{\left (d^{2} x^{2} + d e x + c d\right )}}\right ) -{\left (2 \, b c d + a d e\right )} \sqrt{c} x \log \left (\frac{8 \, c e x +{\left (4 \, c d + e^{2}\right )} x^{2} - 4 \, \sqrt{d x^{2} + e x + c}{\left (e x + 2 \, c\right )} \sqrt{c} + 8 \, c^{2}}{x^{2}}\right ) - 4 \,{\left (b c d x - a c d\right )} \sqrt{d x^{2} + e x + c}}{4 \, c d x}, \frac{2 \,{\left (2 \, b c d + a d e\right )} \sqrt{-c} x \arctan \left (\frac{\sqrt{d x^{2} + e x + c}{\left (e x + 2 \, c\right )} \sqrt{-c}}{2 \,{\left (c d x^{2} + c e x + c^{2}\right )}}\right ) +{\left (2 \, a c d + b c e\right )} \sqrt{d} x \log \left (8 \, d^{2} x^{2} + 8 \, d e x + 4 \, \sqrt{d x^{2} + e x + c}{\left (2 \, d x + e\right )} \sqrt{d} + 4 \, c d + e^{2}\right ) + 4 \,{\left (b c d x - a c d\right )} \sqrt{d x^{2} + e x + c}}{4 \, c d x}, \frac{{\left (2 \, b c d + a d e\right )} \sqrt{-c} x \arctan \left (\frac{\sqrt{d x^{2} + e x + c}{\left (e x + 2 \, c\right )} \sqrt{-c}}{2 \,{\left (c d x^{2} + c e x + c^{2}\right )}}\right ) -{\left (2 \, a c d + b c e\right )} \sqrt{-d} x \arctan \left (\frac{\sqrt{d x^{2} + e x + c}{\left (2 \, d x + e\right )} \sqrt{-d}}{2 \,{\left (d^{2} x^{2} + d e x + c d\right )}}\right ) + 2 \,{\left (b c d x - a c d\right )} \sqrt{d x^{2} + e x + c}}{2 \, c d x}\right ] \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\sqrt{c + d x^{2} + e x} \sqrt{\left (a + b x\right )^{2}}}{x^{2}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.21186, size = 284, normalized size = 1.41 \begin{align*} \sqrt{d x^{2} + x e + c} b \mathrm{sgn}\left (b x + a\right ) + \frac{{\left (2 \, b c \mathrm{sgn}\left (b x + a\right ) + a e \mathrm{sgn}\left (b x + a\right )\right )} \arctan \left (-\frac{\sqrt{d} x - \sqrt{d x^{2} + x e + c}}{\sqrt{-c}}\right )}{\sqrt{-c}} - \frac{{\left (2 \, a d \mathrm{sgn}\left (b x + a\right ) + b e \mathrm{sgn}\left (b x + a\right )\right )} \log \left ({\left | 2 \,{\left (\sqrt{d} x - \sqrt{d x^{2} + x e + c}\right )} \sqrt{d} + e \right |}\right )}{2 \, \sqrt{d}} + \frac{{\left (\sqrt{d} x - \sqrt{d x^{2} + x e + c}\right )} a e \mathrm{sgn}\left (b x + a\right ) + 2 \, a c \sqrt{d} \mathrm{sgn}\left (b x + a\right )}{{\left (\sqrt{d} x - \sqrt{d x^{2} + x e + c}\right )}^{2} - c} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]